寄付 2024年9月15日 – 2024年10月1日 募金について
1
交互式定理证明与程序开发:Coq归纳构造演算的艺术

交互式定理证明与程序开发:Coq归纳构造演算的艺术

年:
2010
言語:
chinese
ファイル:
PDF, 15.12 MB
0 / 0
chinese, 2010
2
From Semantics to Computer Science: Essays in Honour of Gilles Kahn

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

年:
2009
言語:
english
ファイル:
PDF, 4.04 MB
0 / 0
english, 2009
8
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions

年:
2004
言語:
english
ファイル:
PDF, 10.13 MB
5.0 / 5.0
english, 2004
9
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions

年:
2004
言語:
english
ファイル:
DJVU, 3.17 MB
0 / 0
english, 2004